#include <stdio.h>

#include "tags.h"

void t_tag() {
  printf("0x%016lX\n", mk_fals());
  printf("0x%016lX\n", mk_true());
  printf("0x%016lX\n", mk_null());
  printf("0x%016lX\n", mk_symb(0x22));
  printf("0x%016lX\n", get_symb(mk_symb(0x22)));
  printf("0x%016lX\n", mk_char('c'));
  printf("%c\n", get_char(mk_char('c')));
  printf("0x%016lX\n", mk_numb(0x55));
  printf("0x%016lX\n", get_numb(mk_numb(0x55)));
  scm p;
  printf("%p\n", &p);
  printf("0x%016lX\n", mk_clos(&p));
  printf("%p\n", get_clos(mk_clos(&p)));
}
